-
1 вычислимо неоднозначная функция
Русско-английский научно-технический словарь Масловского > вычислимо неоднозначная функция
-
2 вычислимо неоднозначная функция
Mathematics: computably ambiguous functionУниверсальный русско-английский словарь > вычислимо неоднозначная функция
См. также в других словарях:
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia